Ty = Sequence(Segment[(0, t, -0.1), (0, t, 0.1)], t, 1, 6)
Tx = Sequence(Segment[(t, 0, -0.1), (t, 0, 0.1)], t, 1, 6)
Tz = Sequence(Segment[(0, -0.1, t), (0, 0.1, t)], t, 1, 6)
w = Vector((0, 0, 0), (0, 0, 7))
Kx = Sequence(Text[n, (n, 0)], n, 1, 6)
Ky = Sequence(Text[n, (0, n)], n, 1, 6)
x_1 = 3 (slider from -5 to 7, step 1)
y_1 = 4 (slider from -5 to 7, step 1)
A1 = (0, 0, 0)
B1: (x_1, 0, 0)
C1: (x_1, y_1, 0)
D: (0, y_1, 0)
u = Vector(A1, (7, 0, 0))
v = Vector((0, -2, 0), (0, 7, 0))
A = (4, 0, 5)
B = (4, 5, 0)
C = (0, 5, 0)
c_1 = 0
c_2 = 0
c_3 = 0
c_4 = 0
c_5 = 0
c_6 = 0
E = Plane(A, B, C)
c_7 = 0
text1 = LaTeX(E, true, true)
poly1, a1, b1, c1, d = Polygon(A1, B1, C1, D)
h = 6 (slider from 0 to 8, step 1)
a, F, faceA1B1F, faceB1C1F, faceC1DF, faceA1DF, edgeA1F, edgeB1F, edgeC1F, edgeDF = Pyramid(Polygon[A1, B1, C1, D], h)
g1 = Line(F, B1)
g2 = Line(F, C1)
g3 = Line(F, D)
g0 = Line(F, A1)
S_1 = Intersect(E, g0)
S_2 = Intersect(E, g1)
S_3 = Intersect(E, g2)
S_4 = Intersect(E, g3)
poly2, s1, s2, s3, s4 = Polygon(S_1, S_2, S_3, S_4)